7 results
A. N. Prior. Some axiom-pairs for material and strict implication. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- March 1972
-
- Article
- Export citation
Don Davis Roberts. The existential graphs and natural deduction. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst1964, pp. 109–121.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- June 1970
-
- Article
- Export citation
Richard M. Martin. On acting on a belief. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 212–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- March 1970
-
- Article
- Export citation
The semisubstitutivity of strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Lemmon-style bases for the systems S1°-S4°
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-461
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Some calculi with strong negation primitive1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-100
- Print publication:
- 26 April 1968
-
- Article
- Export citation
A system of implicit quantification
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-504
- Print publication:
- February 1968
-
- Article
- Export citation